Code coverage metrics are used to ensure completeness of the test suite according to the predefined code coverage criteria. 代码覆盖率指标用于根据预定义的代码覆盖率标准确保测试套件的完整性。
Through two levels traverse, generate test cases automatically and satisfy the coverage criteria stated in this paper. 通过两级遍历,自动生成系统测试向量,并且达到所提的系统测试覆盖率的要求。
New Testing Coverage Criteria for Test Suite Reduction 一种新的测试集简化的测试覆盖准则
Associating Graph Theory innovatively, we abstract use case and sequence diagram and define coverage criteria to generate test cases in our test case generation scheme. 用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例。
Compared with all nodes coverage criteria, it shows that has higher safety guarantee to critical transition. 结果表明该策略对关键变迁有更高的安全性保证。
After analyzing module dependencies, test case must be designed for each module in the source file, to achieve some test coverage criteria, and to ensure test adequacy. 分析模块依赖关系之后,需对源代码中各个模块设计测试用例,以达到一定的测试覆盖标准,保证测试的完整性。
Because the coverage criteria are proposed based on basic paths, events and states in Petri net reachable states graph, test cases satisfying these criteria from reachable states graph are well solved. 另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题。
This paper proposes some positive properties as the intuitive requirements of ideal logic coverage criteria, and gives a generating algorithm that is used to determine whether a logic coverage criterion is complete. 描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法。
Coverage Criteria for GUI Testing Based on Directed Graph for Window Navigation 基于窗口导航有向图的GUI测试覆盖准则
Logic coverage criteria are the common criteria used in specification-based testing. The main problem of applying these criteria that test engineers face is how to appropriately select each criterion. 在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题。
A difference analysis between statement coverage and design coverage criteria 在语句覆盖和判定覆盖测试标准之间的差别分析
To evaluate the adequacy of a test suite for testing a program with graphical user interfaces ( GUI), new coverage criteria based on directed graph for window navigation was proposed. 为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则。
Finally, the common logic coverage criteria are assessed against the axioms system. 最后通过这组公理系统来评估现有的逻辑覆盖测试准则。
Secondly, with the test coverage criteria covering TFG, we can get the test sequences of events according with the transition of the state. 其次,使用分支覆盖标准覆盖TFG图,得到符合状态迁移的消息事件测试序列。
Program Interactive Execution Flow Chart and Its Coverage Test Criteria 程序交互执行流程图及其测试覆盖准则
In addition, an algorithm generating transition sequence based on full ZOT path coverage criteria from a FREE model is presented. The test framework is implemented. 同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架。
Presented a test coverage criteria of FREE model and an algorithm that generates transition sequence from a FREE model. 同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法。
A new testing technique based on the Program Execution State Chart ( PESC) is presented in this paper. The definition of PESC and a set of coverage criteria of testing are given. 文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。
With these formal definitions, the relations among the logic coverage criteria are described as some theorems. 利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系。
An active object based strategy was presented in testing object oriented program with three coverage criteria. 提出基于活动对象的面向对象测试策略,给出三种覆盖标准,用以处理由面向对象新特性带来的问题。
With the software testing technology widely used, the number of testing coverage criteria is increasing all the time. 随着软件测试技术的广泛应用,各种测试覆盖准则层出不穷。
GUI testing coverage criteria. Coverage criteria are always important issues for software testing, which not only can be used to evaluate the coverage of the cases in testing, but also guide generating test cases. GUI测试覆盖准则,测试覆盖准则一直是软件测试的重要课题,其不仅可以用来评估测试中用例的覆盖程度,也可以用于指导生成测试用例。
Predicate expressions are the main form of the pre-and post-conditions in formal specifications. This paper analyzes logic coverage testing criteria for specification-based testing. 基于模型的形式规格说明的主体(前置条件和后置条件)是谓词表达式。本文详细分析了基于规格说明的若干逻辑覆盖测试准则。
The algorithm of testing case generation meeting the coverage criteria is presented to enable Web services to generate test cases automatically. 为使得Web服务测试用例能自动生成,本文还给出了满足有限状态机模型测试覆盖准则的用例生成算法。
According to generated sequences by EFSM, it would find more probability of error, and the test sequence can satisfy the state migration coverage criteria, which reduces the test cost. 根据最深度优点算法能够首先生成发现错误概率较大的序列,并且使生成的测试序列能够满足状态迁移覆盖准则,降低了测试成本。
The test cases satisfying the masking logic coverage testing criteria can detect those errors caused by the masking property of literals. 根据该准则生成的测试用例能发现文字的掩盖性带来的错误。
It proposes and analyzes in detail masking logic coverage testing criteria, to solve the problems the existent determinant logic coverage testing criteria can not solve. 针对已有的决定性逻辑覆盖测试准则的不足之处,提出了掩盖性逻辑覆盖测试准则,并对其进行了详细分析。
At the same time, the paper relized the statement coverage, branch coverage algorithm for coverage calculation, then studied the MC/ DC coverage criteria, implemented MC/ DC testing process. 同时实现了覆盖率计算算法,并对MC/DC覆盖测试准则进行了研究,提出了实现MC/DC的测试流程。
Since the ECSD contains great amount of information and not easy for analysis, a new flow chart of interaction ( MISG) model is proposed which can simplify ECSD, and a algorithm for the test scenario and test coverage criteria generated based on MISG model is proposed. 由于ECSD包含的信息量多而不便于分析,文中构造了可以简化ECSD模型的消息交互流程图模型(MISG),给出了基于MISG模型生成测试场景和测试覆盖准则的算法。